Model Transformation Contracts and their Definition in UML and OCL
نویسندگان
چکیده
A major challenge of the OMG Model-Driven Architecture (MDA) initiative is to be able to define and execute transformations of models. Such transformations may be defined in several ways and with various motivations. Our motivation is to specify model transformations independently of any transformation technology. To achieve this goal, we propose to define transformation contracts. We argue that model transformation contracts are an essential basis for the MDA, they can be used for specification, validation and test of transformations. This paper focuses on model transformation contract specification. We investigate the way to define them using standard UML and OCL features. In addition to presenting the approach and some experimental results, this paper discusses some limits of standard OCL to define transformation contracts as well as some hints to bypass these limitations.
منابع مشابه
A Methodology for Model-based Verification of Safety Contracts
The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software systems, albeit with a considerable effort. In any case, such an effort is cost-effective when verifying safety-critical systems. Often, safety requirements are expressed usi...
متن کاملA Model Driven Approach for the Atomated Analysis of UML Class Diagrams
The Unified Modeling Language (UML) is widely considered as the defacto standard for the design of Object Oriented systems. UML class diagrams are used to depict the static structure of a system with its entities and the relationships between them. The Object Constraint Language (OCL) is a textual language based on first-order logic and can be used to define constraints on the elements of class...
متن کاملOCL as a Core UML Transformation Language WITUML 2002 – Position Paper
Software developers spend most of their time modifying and maintaining existing products. In a recent article [7] we focused on the definition of UML refactorings (i.e. behavior-preserving transformations) specified by meta-level OCL pre& post-conditions. In this paper we propose to extend OCL with model modification features, thus allowing to implement model transformations at the same abstrac...
متن کاملOCL for the Specification of Model Transformation Contracts
A major challenge of the OMG Model-Driven Architecture (MDA) initiative is to be able to define and execute transformations of models. Such transformations may be defined in several ways and with various motivations. Our motivation is to specify model transformations independently of any transformation technology. To achieve this goal, we propose to define transformation contracts. We argue tha...
متن کاملContracts for Model Execution Verification
One of the main goals of model-driven engineering is the manipulation of models as exclusive software artifacts. Model execution is in particular a means to substitute models for code. We focus in this paper on verifying model executions. We use a contract-based approach to specify an execution semantics for a meta-model. We show that an execution semantics is a seamless extension of a rigorous...
متن کامل